Discussion

• Error markers in wyil files doesn't make sense.

• Problem with names have references to their declaration. In some sense, this is quite nice. But, for example, it is very problematic when comparing two types for equality in the syntactic heap.

• Does it make sense to have a revised SyntacticHeap specification? This could include some optimisations (e.g. a stack model for operands) and explicitly defined meta-data for source-code spans, markers and references. Perhaps even general maps that could be used for types as well.