Add simple promotion rules to datashape

Nice.