Added binops check for type checker