make typechecker accept "case (-1)" for #785