fix problems in miniML introduced by pattern matching changes