O_Owith that knowledge, would also be possible to define new types (not aliases, but new encapsulated types) representing things such as Graph, Ring, Topology, surreal number, etc?
I dont find this in your book, would you consider either adding this Volodemrot types, or in case they already are there, give me a link (both the introductions in d wiki and dr. doobs blog was very short)
