Created Types' classes.
Corrected some grammar flaws.
Amend last commmit
Finished type classes
Merged grammar