Add simple promotion rules to datashape

What happens if dshape is already an Option type?