Revert "replacing Or[A,nil] contracts with Maybe[A]"

This reverts commit 3bbb88e5d0f695b4acb39184d0f512c0c02709b0.