Validating type information of params/cfgs/returns.

According to the agreed-on spec for type-definitions-format with
the VJET Eclipse Plugin team.

Added bunch of tests to make it real solid.

Running it on SDK now produces some hords of warnings.