ELHR+ Reasoning in F#