Began implementing nondeterministic sum behaviour. BUILD BROKEN.