cp dev/totalexp-muDot.v dev/smode-totalexp-muDot.v
start smode-totalexp-muDot: smode controls if has/exp are required to be stable under narrowing
updates for smode