broken build checkpoint ... migrating to laptop
still broken build ... working on flex/flex cases
added a double-imitation case for solving flex-flex constraints when one side is a pattern; fixes bug96 ... but probably need to move towards a more global way of solving unification constraints