use global fun syntax
better printing for assignments
graceful fail for things we cannot print
when re-inlining, remove the constraint that is reinlined from the
store (otherwise we might go recursive)
export alert-relation and use it in solver to print less
lowercase ciindex now, uppercase won't parse in Objects (it's for globals)
bug in uid
add example running under objects
add examples around pt.center