create new sub-project congeal-examples

* also flesh out some missing tests
* currently breaks on separate compilation issue - in HasPart reverse lookup