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