middle of major refactor of POrd class hierarchy so that < can return non-bool boolean types; not sure if this is a good idea or not, but it's a lot of work
lots more work on the order refactor; starting to look promising
I'm off to bed, but it's getting really close
hlearn now compiles and is correct; still more work to make sure it's fast
Restructured code so that non-base libraries are in the compatability folder; fixed a lot of the monad stuff, was able to remove a lot of unneeded constraints; improved the Container/Indexed hierarchy slightly
added monad instances for Base compatibility; updated readme