Updated proposal

Added comments to clarify some language features