Finish off TypeChecker.Type