Port support for "nonrec" extension, fix #198
Add regression tests for nonrec