Updated to scala-2.10.1:
* fixed case-to-case inheritance error
* got rid of warnings about type erasure in matching