Rename `Option`, add `Assert` trait