type inference should walk through comparison expressions to resolve the types of functions