0x0f0f0f/metatheory-garbage

old tests and experiments that have to be cleaned up and updated to latest MT

Julia