slightly more efficient Term.fastype_of (only little impact in regular applications);