Simplified datatype rules to single universal rule.