typecheck now has working definitions and examples for checking the types of constructors and recursive functions