Basically, it computes `TypeCandidate`s from either the `JetExpression` or the `JetType` this instance refers to. This involves either guessing a set of types from the `JetExpression` or using the `JetType` directly, and then performing substitutions on them.