made changes to lexing/parsing display macros properly. although display macros can take arbitrary expressions, we limit the functionality to string literals alone.
compilation checks if target display passage exists and adds a call to the desired passage