Support for QUOTE special function and list comprehensions.
Don't die miserably when SPAD calls "error" while in type checker.