Added scope tests
Added tests for patterns from paper;
TODO: Bounded existence, response chain, constrained chain
Set tokens for error purposes;
Create new token from two given