Provide Typeable1..7 as type synonyms (see #8813)