Specify implicit construction (#3040)

Add a proposal to the 'working' directory tree. It specifies static extensions containing (among other things) implicit constructors, thus enabling implicit invocation of constructors based on a mismatch between the context type and the type of an expression in that context.