Merged Axiom/Definition into TopLevel, with a topDef :: Maybe Expr.