General associativity and general composition for double categories