caTopLevelExp :: KeepKind -> Exp -> Exp