Weaker names, decapped type functions.
RegularishTelescopeTruncated and other renamings.
Rename to RegularishTsTruncated, other cosmetics.
RegularishTscope
Cosmetics