Added MatchReadable to allow for an environment from which you can read pattern matches. Used this to implement match-fix fusion. Got it compiling but causes type errors when run.