Fix typing.
Add general-purpose operator apply() method.
Fix type.
Statement- and ExpVisitors.