Completion: avoid printing internal identifiers
Raw_parser_values: complete definitions, add some TODO
Typing: recover from method type errors