Python Type Constraints (with Reserved Attributes)