Renaming and refactorinng in the ASTs and typing

[zoep]

This PR refactors the Act AST and typing pass to improve clarity and maintainability.

File name changes

• Change name of TimeAgnostic.hs to Typed.hs
  Rationale: This file defines the core typed AST. Expressions may be either implicitly or explicitly timed,

• Change name of Typed.hs to TypedImplicit.hs
  Rationale: Represents the typed AST where timing annotations are may still be implicit in some places.

• Change name of Annotated.hs to TypedExplicit.hs
  Rationale: Represents the typed AST with all timing annotations made explicit.

• Change name of Enrich.hs to Bounds.hs
  Rationale: This file implements a pass that adds integer bounds (derived from types) as preconditions and postconditions for calldata, storage, and environment variables. The new name better reflects its purpose.

Renaming of AST nodes

Renamed several AST nodes to better reflect their purpose:

• Untyped AST (Untyped.hs):

  • Definition → Constructor
  • Defn → Mapping
  • AssignMany → AssignMapping

• Typed AST (Typed.hs):

  • TEntry → VarRef
  • Change the definition of InavariantPred to get rid of type families

  Code refactoring

• Refactored the code in Type.hs so that it does proper type inference instead of trying to type an expression with all possible types in order to infer its type. This lead to more efficient code and better error messages.

• defaultStore renamed to globalEnv in Type.hs

Miscellaneous

• Improved comments
• Regenerated test outputs
• Updated tests where needed

[lefterislazar]

Just a mix of typo corrections and aesthetic modifications, some may be worth committing.