refactor module variable
add error-codes.txt
add test file numeric3-{init,goal}.sfp
implement numeric comparison (>,>=,<,<=) between two references