added internal prelude; added sparse free vectors; fixed Monoidal categories to be more usable
Added quite a few more types of category classes