Working on type sequences
Finished type checking, probably