lampepfl/dotty — pull request #85 by odersky (2014-03-20 10:31:45+00:00)
Title: Topic/language features

I took into account the comments by @DarkDimius.

Review and sheparding by @DarkDimius, please.