untypeContract (Contract inhrt clauses) = 
  Contract inhrt (map untypeClause clauses)
untypeContract (Contract inhrt clauses) = 
  Contract inhrt (map untypeClause clauses)
untypeContract (Contract inhrt clauses) = 
  Contract inhrt (map untypeClause clauses)