Add tests for the `::/1-2` and `{}/1` control constructs for testing runtime bound messages