pub fn extract_option_type(ty: &Type) -> Option<Type>
Check if a type is Option<T> and extract T
Option<T>