type checking statements