find a bug in patt and then fix it
put the operations which need num argment together
take off ``eval`` in "L" IMP
test transform hard code to meta