Create a good frame builder and consider merging the type-inference library into Worse Reflection (i.e. better than the one in type-inference actually):

Track:

• Variable assignments
• Method injection.
• Class property assigns (types lazily evaluated)
• Variable positions.
• Store unresolved assigns (lazily evaluate types).

Final product should be able to:

• Produce an overlay showing the types of all variables in a script.