(2.0) Type system

[MicroNovaX]

At the moment, most of the useful checks are not available, due to the fact that the plugin knows nothing at all about typing in the FunC. The development of a type system will eliminate the need for the most important checks.