fix #11 no arguments within metafun, fix #6 added tests for inline across files, re #7 forbid bound variable when inlining across files. Todo: #7 check the inlining intra-file: bound variables, if any, must be shared by the target scope and the scope of the source inlined body.