[catnaroek]

I do not particularly care about having a pretty syntax, what I want is the high assurance that the program will not be wrong.

[cgag]

Have you tried using haste or fay? (I haven't, just curious)