Added matrix handling.
Major layout rules.
Adds more detailed roles for matrices and vectors to the semantic tree.
Treatment of simple determinants.