* only exporting public data and public funs
* exporting  and , for consistency
... merging
Merge branch 'master' of https://github.com/SL2Team/sl2