New syntax for family classes
Case-sensitive call to algebra in use case corrected
Fixed duplicate methods in interface
Fixed not matching types if it is only in the > first super-type
Added field support
Fixed 2 missing recursions
Fixed a bug where matching with fields did not work
Added some commented debug code
Added big use case for the paper
Added my Github repository
UML class diagram of the more complex example
Solution to the problem of dynamic dispatch with delegation
Revision 19th January 2014