type-checker-tests

Add integration tests for type checker inference and checking functions