Lambicakulus Specification Typing

Lambicakulus can be divided into untyped and typed. The embedding for that text is just a list of numbers. You can do all sorts of really powerful analyses with that vector. This is useful for all kinds of commercial purposes. It's still early days for picking low hanging fruit. Baddoms are still where I would like them to be.