$T: typeid/[]$E
T: type/[]$E
`type` as a keyword will soon be removed in favour of polymorphic names (identifiers) in procedures