Merge pull request #56 from william-g-vaughan/master

Union the functionality of BagUnion and BagConcat
random functions are non-deterministic
Merge pull request #57 from njwhite/randint

random functions are non-deterministic
Add Nondeterministic annotation where appropriate
Merge pull request #58 from matthayes/master

Add Nondeterministic annotation where appropriate