#2 Implement the 'any' type

[Christophe de Dinechin]

any T is a generic type that represents values of any type derived from T. Conceptually, it contains a pointer to a type description for T and a pointer to the value. It will be used to implement multimethods ("virtual functions" in C++ parlance)