Error out with invalid specializations.
Error out with invalid specializations.

    type t(a, b) = ...
    var x : t(a)

    will now error correctly.

oridb/mc,8l/myrddin,oridb/mc,8l/myrddin,oridb/mc,oridb/mc