annotating visitor done for constants

now we need to make it work for all of the variables and methods
im working on it, if you start working keep going with type check
visitor so we dont end up with commit conflicts