start of work on proof task formulation for the pitfall 'left join is a misnomer'
another string-type of a specific subset of strings
new template. this time for left join of two tables