Add assistant to the pog plugin manifest.

[Issue: ]
Continue auto discharge if some POs unsupported.

[Issue: ]
Fixed bugs in TPVisitor for bound variables and record names
Merge commit '1898115f8bf5c5f64d45d532296ff36a7c07d86a' into rjp
Fixing various TP bugs for examples to go through TP Visitor
Improve UI for unsupported POs.

* Show the PO predicate for unsupported POs
* Generate and export supported POs for partially supported models.

[Issue: ]
Fix iteration of param types in implicit funcs.

[Issue: #299]
Add a rudimentary playground test.

[Issue: ]
Merge commit 'aeb34dfed7b967a0fb99fb54a91b3418c5f16b65' into rjp
Fixed bug #300
Merge remote-tracking branch 'origin/development' into ldc/main
Ignore QuickTest in TP.

[Issue: ]
Add minimal test for issue 300.

[Issue: #300]
Addressed bug #300. A slight hack, to ensure that the Isabelle theory does not have issues with implicit functions with no parameters - in this case, add a 'dummy' parameter.
Merge commit '52e96cc6758cee065c05b178075cedc5eef9aeff' into rjp
Add lexlocation to ActionDefs introduced by mu.

[Issue: #301]
Test and result for issue 301.

[Issue: close #301]
Only create exists exp if the bindlist is nonempty.

[Issue: #298]
Add test and result for issue 298.

close #298
Update test results following fix of #298

[Issue: ]