Updated names for many fields

Now for those properties that are vague and general the concept is also specified, so that instead of simply type or kind we have updateType and syntacticType.
Code cleaning
Parameters names updated