Started documenting the value lowering translation to normalize expressions into variable directed