LOGIC-92: tweaks for nominal logic and dom constraints