Add verbose error messages and line numbers
Update syntax to Scribble 0.3

Bugfix for uninitialised empty role
Support for unbounded 'Inf' constant range
Package version bump to reflect scribble version changes
Basic well-formedness checks