refactored the builtin implementation of the k visitor; fixes to hook invokation in the java backend
more comments on hook exclusion
Merge pull request #279 from andreistefanescu/k_builin_visitor

K buitlin visitor refactoring