Buggy version of local variables.
Finished massive refactoring: Turned SigmaDD into a class.
Fixed several bugs with subtyping
Finished BEEM support for stratagem.