Made 'switch' backtrackable, which could be the case when 'fail' is used
(wrapped conditions in muAll); replaced muOne with muAll in translation
of function formal parameter patterns, this solved the problem of an
infinite loop when 'fail' occurs in a function body.
Added the respective 'overloading' and 'switch' tests.