[Grace-core] Class syntax and type parameters

[James Noble]

> Err, why you do not even mention/consider the generative approach??
> you generate a new class when you need it.

because my categories are about the structure of language,
not about how it's implemented. If collections are polymorphic,
doesn't matter if you do that by erasure (Java), retained parameters
(Csharp), generation (C++) or some combination (Eiffel :-)

> This is also "very near or equal" what is suggested by tim/michel with
> the new cached [type] idea proposed yesterday.

that's caching types, not classes.

> And by your answer I think we can conclude that we agree that
> THERE IS NO NEED FOR POLYMORPHIC METHODS
> in a language for beginners

well it works if you have classes that can be generic 
without having generic methods. Currently Grace doesn't.

J