Feature request: allowing local theorems

[fblanqui]

It would be helpful to be able to declare some theorems as local (private in lambdapi syntax) so that there are not visible outside the file and thus not included in the dko file.