Initial work on desugaring type classes into dictionaries