Modified runtime type system to reflect changes to TAGGED type