Allow specializations using Monomorhic.Make and add Monomorphic.{Int,Float}

Move the old interface to Monomorphic.None
Add some documentations