Fixes in section on Type-Safe Meta-Programming in Scala