Adding rules for constant, base, any, and union types in the prototype