use ImportPrelude in TermComp