Add Mockito support in the SBT definition.
Add support for numeric expressions and assignments.
Overhaul linear expressions and conditions parsers.
Add Faster support for LTS.
Add parser for generic expressions.