initial version of basic comparators (works with literals atm)
comparison helpers now resolving variables