Refined TermStmt type in Module parser.