changes to type checking