preparing for decreases clauses; added syntactic sugar for lex tuples