remove atrocious UInt.toDynamic cast
add unify_with_variance and with_variance, use it for type parameter and @:to unification
CHANGES.txt update
happy new year