Support for TBAA

[bcardosolopes]

Needed for passing info down to LLVM lowering but should build a base for writing AA pass in CIR

[xlauko]

As mentioned on meeting, we might cooperate on this :) @Jezurko will be working on more general solution for AA and points-to analysis. He will be experimenting in https://github.com/Jezurko/potato

Ideally we want to integrate this to MLIR AA Framework a propose missing features as we encounter them https://discourse.llvm.org/t/alias-analysis-framework-in-mlir/2433/8

[bcardosolopes]

Awesome!