Initial commit
Merge https://github.com/maweibezahn/dotty