Handle user-defined inlining annotations in concrete syntax

[hrutvik]

Extend the parser to cope with Haskell-line inlining annotations. We should mirror the syntax described here as much as possible.