Various renamings, refactorings for basic Haskell stuff and a new trivial Haskell-based implementation which demonstrates algebraic (nominal) as opposed to structural types.