scalauniv implicits working

MiniVerses avoided except in Context (which has too many inner types)