Duplicate constructor formal name should not be allowed

[amir734jj]

Example:

module TINY[] begin
  -- Duplicate formal name: {x, x}
  constructor branch(x,x : Wood) : Wood;
end;