hacked lambda.maude to new file to be able to incrementally add HW5 components to it. Less distracting this way