In progress: Converting NameRegNotary from LLL to Mutan