Add nonempty list constructor to exports
Refactor assertion