Subproduct Systems and Cartesian Systems: New Results on Factorial Languages and their Relations with Other Areas