defnoteseq now takes opts map.