AST nodes for fzn parser

lit(TYPE, VALUE)

TYPE = bool