Change Some to NotNull

@StefanKarpinski: While I'm working to get this code ready for public consumption, I'm tempted to change the name `Some`, which seems a little obscure, to `NotNull`. It's longer, but way less cryptic. And it helps to make it clear that this type doesn't have the same semantics as something like Maybe.