Give more specific errors when a variable cannot be found during canonicalization