Consistent type checking