fixed infixparsing, added num.type() == 'n', fixed tokenizer (bracket parsing)