defeasyclass has export-all nil by default