Simplified pragma syntax

In this beta release, Mark pragma syntax has been simplified from {...} to `...`.
As its syntax is now clearly distinguished from Mark and JSON object, it's parsing and usage is much simpler.