Described ,  and  modifiers for constants and variables
Implemented `guard`, `hard` and `infer` modifiers for constants and
variabler in translator