support list literal
pass system arguments to main predicate
encupsule parser functions in parser.hs
add term constructing functions
[bugfix] main should take its arguments as a list, not as variable argumets