Removed Ord instance of MathType.
New 'Syntax Analysis' section in the Base.Syntax module, with new functions lookForCommand and lookForEnv.