move modules about
wip instantiate
wip instantiation tracing
unify template vars and parameters
untested, but template arguments totally work.
instantiations; broken
fix the VarInstantiations
proper template arguments