Asl constant analysis

[HadrienRenaud]

This PR implements the following:

• Remove polymorphism in the AST by excluding the native primitives subprograms from the AST (done in 82cea82).
• Implement single-pass type-checking by following a DAG on declarations. This removes the possibilities for recursive functions. This will allow for some subtleties such as caching type-checking for re-used parts of ASTs, or type-checking properties where the validity of a property in a function foo depends on properties on the functions foo calls. Done in 9c85ec9.
• Checks types for validity (e.g. expressions on which they depend should be immutable), done in 8d383cc.
• Move print into the AST (merge with debug).
• Remove commit DAG order in type-checking.

This PR is a follow-up on #747. Its 7 first commits are from this PR.

[HadrienRenaud]

This PR has been cherry-picked into:

• [ASL] Fix implementation of underconstrained integers #747 for e9b6593
• [ASL] Sort topologicallly the declarations of an AST before typing. #787 for 45d5164
• [asl] Check type validity on user input #799 for a715e76

So I'm closing it.