import functions in top level
clarify warning message about upcast
EXPERIMENTAL support for automatically generating symbolic updates