Add concrete Syntax for Real

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Approximate useful macro error messages

Unfortunately, the scala macro API does not
allow pointing to another file.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>