refactoring: Parser.papillon: arrow Some for WVar etc