started with the type checker, need to implement more base functionality