Regarding #1. Syntax of methods signatures Matz says "optional typing should honor duck typing", which this hasn't discussed. There is already a decent amount of code in existence which does optionally describe type information via documentation. It can't currently be turned on (as in actually acted on by verifying that the types described match reality). It seems reasonable to me, then, to build