8:24:40lukego_karlosz: thanks very much for those thoughts! Sounds like Coalton might be a viable option if I find myself running afoul of the excessively flexible Lisp type system. I've also been idly wondering if Coalton types might help me avoid bugs in mixing log-domain arithmetic with normal numbers.