These are not programming languages per se, but give VDM-SL or Alloy Analyzer a look. I know that particularly in the latter, anything can be joined or composed

These are not programming languages per se, but give VDM-SL or Alloy Analyzer a look. I know that particularly in the latter, anything can be joined or composed against anything since all values are relations.