agda token patterns not matching