[#896] Phase 5: Unify generic systems

[milkyskies]

Replace the two parallel generic representations (Type::Var(usize) for stdlib, Type::Named("T") for imports) with a single system. One set of unification/substitution functions used by all call paths.