add numeric test files
implement >,>=,<,<= when right-hand side is integer/float
refactor module action
add description
refactor module action
refactor module constraint
refactor module constraint
refactor csfp.ml
refactor codes
refactor module fdr
update error codes
rename helper.ml -> parser_helper.ml; refactor module parser_helper
update
refactor codes
refactor module syntax
refactor module type
refactor module variable
add error-codes.txt
add test file numeric3-{init,goal}.sfp
implement numeric comparison (>,>=,<,<=) between two references