Constraints: Object type check