Added documentation TODO to constraint solving
renamed stack-constraints strategy to collect-constraints. stack-constraints is still an alias for legacy code, but is deprecated
Fixed bug where a string was not wrapped in a TypeVar constructor
combined stack and local var constraints into a single list
simplified complex-constraint rules by using map instead of fold and adding to a list that doesn't need to be inspected anyway
Fixed bug in pretty-printing of names/descriptors in Name Analysis error messages. Also improved placeholder for when pretty-printing fails.
Commented a Name Analysis message because it fails through a bug that may not be in our code(?)
Added two extra tests to the CEq
Resolved combinatorial explosion due to renaming.

Renaming now stores aliases for later use.
Made some types explicit in CEq
Adapted complex-constraints and push/pop constraints to always connect the in and out stack of an instruction (if that's the semantics of the instruction anyway)
Merge branch 'typeAnalysis' of github.com:tudelft-mdsd/spoofax-jasmin into typeAnalysis
Removed faulty CEq of Reference(CRef(<fresh-var>)) pattern that @rmhartog spotted. Replaced with CSub of Reference(CRef("java/lang/Object"))
Removed another bug spotted by @rmhartog. We're on a roll :)
Added constraints to propagate local-variables information with every constraint that doesn't touch them
Merge branch 'typeAnalysis' of github.com:tudelft-mdsd/spoofax-jasmin into documentation
Updated readme to reflect changes in recent commits on the typeAnalysis branch