Alonzo non-news: I attempted to implement an algorithm for typechecking generics. I was unsuccessful, back to the drawing board!

These'll be vital for offering a decently flexible standard library. Without it collection types would be far too rigid for serious reuse!