JPure a modular purity system for Java / David Pearce.