Uniform extensions

Add cases to encoding that show how all possible combinations of

 - trait / trait with common / extension trait
 - extending class / extension
 - monomorphic / generic implementation

work out. Make it possible that we can abstract over any of these using context bounds.