fix DirStreamCell_def

plus a couple of minor tweaks to other stuff, so now everything
typechecks.