qtype formulas: How to shuffle choices?