AST printer updated (mist/hamming.ml)