An update of Workcraft has been released on:

Workcraft.org

It contains some new capabilities.

The website also contains a significantly modified tutorial and exercises.