o added a test case for the \input feature
o added an error message for refinement relationships with non-existant machines
new protototype of GUI in Eiffel linking with a dummy Haskell library