Added notes about a speculative bunched+linear logic in the calculus of structures. Originally from https://gist.github.com/rocketnia/99882fad116e29f54fa2.