As the title says, Enumeration has two properties for the same information.

        public Type Type { get; set; }
        public BuiltinType BuiltinType { get; set; }

We should remove BuiltinType and have it just as a desugared property of Type.

It might be nice to, as a final step, show an instance of an actual inference on the model so a reader can "tie it all together". It isn't strictly useful, but for anyone who doesn't know a lot of the terminology it would bring it home.

i was trying out this package when i ran into an error with the example in the readme, the import statement is written as:
import nimLua
however, the package gets installed as nimLUA, so it should be written as:
import nimLUA
I am on a case-insensitive file system, so while i don't think that should matter, it does to the nim compiler so i figured it was a mistake or wasn't updat

Better function documentation needs to be created. Additionally, examples of usage, screenshots, and a guide on what style of output to expect should be added to make it easier for people to get started.