Add COBOL symbol usages/modifiers to the semantic of Types

COBOL has several usages/modifiers that can influence the structural equality of types, and modifiy the semantic meaning of a type applied to a symbol.
For example modifiers or usages like: SYNC, SIGN, JUSTIFIED etc...
The purpose of this issue is to take in account all this usages/modifiers in the semantic elaboration of types.