Using canonical declaration for inferring function call invocation region-arguments, and using a substitution vector to describe type substitutions (pending finalized implementation)
Modified how substitutions are communicated to prolog. Now the right hand side (the substituant) is a full RPL that may include a substitution vector.