Add type validation

[johnstonskj]

Problem

Need to build cross-module validation.

• Use loader for all dependencies.
• Error on missing dependencies.
• Error on missing imports.
• Ensure type references are correct.