Working type classes! Corrected a series of nasty bugs, mostly concerning functions involving meta-variables, and the equals method.