Implement dict `{`...`}` definitions

[phorward]

It should also be possible to define dicts in Logics. This is, because they might be useful as parameters or for tests.