Extract InferCombinators out of InferTests
InferTests: more refactorings, colorful error indices in expr