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.

[KacperFKorban]

More detailed docs are here
Haskell additionally uses special functions that indicate inlining/noinlining at the call site, docs.