Making the three required arguments of deffixtype
really required by adding a guard that their 'and' be non-nil.  I
thought about doing something fancier, but I didn't want to think
about what might happen if a call to er occurred.  Presumably these
all happen at the top-level, but I don't know.

Fixes #240.