Add reference documentation

This is still somewhere between a paper draft and true reference docs.
But since it's the only thing we have right now, it's worthwhile to
integrate it now and change it later.

Author: odersky