nialogic: use "$x for unification variables; add "unboxed"
nialogic: added 'total'
nialogic: use the totalized glyph relation for symbol lookups