Allow `export` instead of `pub`

Ian Jacksonrequested to merge
export into main

First part of #95 (closed)

Merge request reports