Simple option type for PHP