adding Checked which implements a dependent option type.