Implementing type checking