Killing unused code.
Added to readme about how to read the code. Moved features from transform.rkt
Metafunctions parsing. find-suitable-variant is now questionable. Need to implement more set/map expressions and their patterns.
Checkpoint. Broken starting implementation of set-remove.
Modularized a bit more. Added set and map patterns. Added refinement ordering syntax and semantics.