abstrap

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