#170 simple GADT crashes type system

[Rohan Hart]

Nice compiler version 0.9.12 prerelease (build
2005.10.24, 05:01:51 UTC)

crashes on the code:

package gadt;

interface Term<T> {
T value();
}

class Less implements Term<boolean> {
Term<int> a;
Term<int> b;
value() = a.value < b.value;
}