CoreSeq
Utilities for forcing Core structures
seqExpr
seqExprs
seqUnfolding
seqRules
megaSeqIdInfo
seqRuleInfo
seqBinds