fixed contraint programming

just made the simple programming by contract methods work.  this is
totally a placeholder as these should be debug-only and, well, will end
up being expression evaluations & funciton calls -- so sloooows things
down.