Typechecking of clauses added