[Bug] exhaustiveness check in Function.domain is incorrect.

[nineties]

amber:1> f(x, y) := 0
=> <#Function>
amber:2> f(x, x) := 0
=> <#Function>
amber:3> f.domain
=> domain = (x, x)             # <- (x, y) is missing.