createVar()
index is long not short
No more UnifyContext.finalValue() - use reify()
Comments
iterative mapping.