Translator Improvements, CountAssignment Replacer visitor

Translator now stores additional information of VarDecl(Statement)s/FunctionDecls: types, annotations, isExternal, documentation.

Added CountAssignmentReplacer visitor (for quickfixing count variable LetBinding that was used where CountClause should have been)

Added unit tests for the above