removing Expression type => use Function type instead to avoid duplicated type
add: unit test for rules operators