term construction abstract machine

**please review**
Instead of ```LHSIntruction```, I prefer something more intuitive such as ```MatchingInstruction```. Either way, I think it's better to rename this method.