Rename `Option`, add `Assert` trait

Another proposal inspired by an idea from @aturon. Goes well with #243, but isn't tied to it.