Fixed the handling of when-clauses in the function signatures by the
compiler.