Removed extraneous project parameters.
Returning immediately to avoid reassignment.
Renamed underscore identifier.
Fixed swapped co-/contravariant comments.
Combined the two overloads of getNextAvailableName.
Made guessTypeForExpression clearer.