Description of MIR is now in Cleavir documentation.
Description of AST is now in Cleavir documentation.