+str dsl consistency spec also investigates return types now