abstrap

> Extensible compiler middle layers with abstract interpretation and code generation to MLIR.