Algebraization of dilatations

Done with the general version. Still want to add some words about
rig-monomorphisms and how this is related to separatedness of the output
of the constuction.