Catyのレイフィケーションを整備してメタプログラミング環境を作る。そもそも何をレイフィケーションするのか？ -- メタレベルにある構造をキチンと定義する必要がある。最近、「メタレベルにある構造」をモグラ（MOGra）という名前で呼ぶことにした。Metaob…