Operations on F# boolean quotations