Fix wrong error counts.
Fix interface imports not working.
Update conformance check with new desugared terms.