Delegating type checks to all PT objects; type check enforced when assigning to identifiers.