Added exception handler, highlighting duplicate parameter names in the
same machine. This 'upsets' type extraction, from the type environment.