Fix a nasty recursive loop in typechecking interface files