Remove implementation proposals

This pull request removes the implementation details that are superseded by the Runtime specification.

(This PR includes the previous two PR commits)