add checks for not-yet-compiled constraint expressions
add test of adding a user-defined function to symbol table, use that in a constraint