Normalisation by evaluation

Normalisation of "F# quotations" by evaluation.