(+) x = do T with ... end;
(-) bug `_´ id in parser
(-) bug: tp_word string => number