expresso now uses short symbols for known operators
fixed tests
functions are typed
check-constraints doesn't depend upon custom types anymore
symbols are undetermined when created with ce. the functions themselves constraint the symbols. For example + sets its type to number
also add-constraint in set-type
reworked construction mechanism