Split up Comp into Forms/Statements.

Adapted type checker to properly utilize the queue. Probably want/going to change this later though.