Change BCT to not require a candidate to be a supertype of contextual type
Move inferential typing check into findBestCommonType
Baseline updates for BCT change
Add tests for new best common type algorithm