option type introduced