Rules editor seems to work (#1), axiom & interpretation editor still missing.