Define rty::Formula and replace UnboundAssumption and Refinement with it#3

coord-e merged 3 commits into

maincoord-e/thrust:mainfrom

unify-formulacoord-e/thrust:unify-formulaCopy head branch name to clipboard