Created Feature: Import factual models for modular decomposition [5675]

A factual model currently is all in one file. The facts in the model can only refer to other facts in the same model. Implement the import keyword to reference facts from other models, optionally assigning them aliases. Ideally, the other models would be referenced assemblies, not factual source files.