Support for predicated value info


A constraint is a statement about a value.

Boolean constraints:
true-constraint

true-constraint


Utilities:
t--> ( constraint boolean-value -- constraint' )

f--> ( constraint boolean-value -- constraint' )