Mulgen

as per #54 

Just `type denseAt Dense` will do this for you - also below. I thought we had already fabricated types like this in the tests though.