Implements named intermediate values

Finally(!)