@34304984 i want a type system that doesn’t exist yet.

I want my type system to understand all my code my highly dynamic & mutable code while prompting me when I need to provide constraints. All it does is point out inconsistencies in my code.

This “type system” would work by encoding the ast in a database like prolog & evaluating all expressions as queries to verify the results exist in the database. 

This also means that I could provide arbitrary constraints