Type Inference System

[JohnnyMorganz]

IN PROGRESS
Dependent on the merge of:
Kampfkarren#32
Kampfkarren#28

This PR establishes a type inference system which can be used in order to provide autocomplete and parameter information, for example:

• Establishes whether a variable is a Service
• Provides typings for advanced service properties [eg. Lighting.Ambient being a Color3] (Autofill non-static properties/methods on custom DataTypes for Services Kampfkarren/roblox-lua-autofills#36)
• Provide EventInstance autocompletes to events (Add auto fill for Service Events Kampfkarren/roblox-lua-autofills#34)

It includes support for aliases services (Kampfkarren#38) and parsing of function calls

This PR also integrates a VSCode SignatureHelpProvider in order to provide parameter information (Kampfkarren#33)

The following features are awaiting completion before this PR is ready for review:

• Replace the current completionProviders to use the type inference system (Could probably all be merged together too)
• Autocomplete EventInstance members
• Be able to find variable assignment in order to infer types (Support for Basic Instance.new completion Kampfkarren/roblox-lua-autofills#26)

The following features are extras which could be added before ready for review:

• Add support for inferring return types for functions (eg. Lighting.Ambient:Lerp() is a Color3)
• Create HoverProviders