update typechecker for new def of Category
update tests for lang module changes
subtraction moved up to Invertable
test for typing of in operator