registering a type with rte is problematic. Can't rte just assume that any unknown form is a type designator?