Started work on the implementation

Moved the type checker in.