Feature/language coverage

enabled an automatic merge when the pipeline for 1c3423be succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 0b64c1fd - Fix construction of a 0 singleton as an R^d list

Compare with previous version

added 1 commit

• 710b1b1e - Change construction of a 0 singleton as an R^d list

Compare with previous version

merged

mentioned in commit 97ec41e7