Implementing the Maude part of fresh generation.