Removed dependency from CTX
Fixed keyword issue in concrete patterns
Removed more CTX dependencies
Fixed interpolation of list variables in concrete syntax expressions