Unfinished work on building Typeable dictionaries