Squashed 'ThingML/' content from commit 46aa889

git-subtree-dir: ThingML
git-subtree-split: 46aa8896c6d7328ddbfc0e0a5a9b724e126b9900
Merge commit '5a1107fdeb7b408c3ee08afd331f1b281d5f69ae' as 'ThingML'