Remove uses of `ast.Context` after the front end phase

[fridis]

Context should not be needed after the front end. Nevertheless, it is used in AIR and FUIR code since some method in AbstractType like choiceGenerics require a context since they end up calling Generic.constraint. This should not be necessary, need to check how these calls to Generic.constraint could be removed to avoid the dependency from Context.