fsharp: stepA: Self host through step3. Need conj to pass step4.