updates to type checking