Patch for N3655 (Transformation type traits) with Howard's additions