Merge pull request #280 from ragerdl/master

Adding hons and hons-acons tests for the spec-mv-let system.