account for defeasyclass export-all nil by default