Use Avalog as context solver

[bvssvni]

Currently, there are some soundness problems due to Poi not being able to tell different types apart.

These problems can be solved by storing information in the context. However, since conflicting information or inductive information might be stored in the context, this requires a monotonic solver with ambiguity checking.

I suggest using Avalog.