[demo] More robust cross-document jumps
Allow longer worklists (loading backbone exceeded the current max)

Issue #95
Assign proper origins in instantiated functions