chore(packaging): add metadata info for library
fix(CoqModel): fix CoqModel custom instance/static methods

Also update tests for these features