make a modest effort to pick names for arguments to unquoted funs

calling every argument z made for some pretty unreadable types
now picks
- A for sorts
- f for functions
- map toLower (take 1 (show d))) for defined types d