begin test of term type checking