[feature] Type System Support

[msujew]

The PL/I language server should be able to understand the type system of the programming language (i.e. variable declarations, procedures, etc.) to provide meaningful feedback to the user:

• Assignability checking
• Operator checking (i.e. invalid operator combinations, like adding a number to a graphic type)
• Provide documentation information (like for hovering or completion)