ddc-core: add annotation to Witness type, to make source position handling easier
ddc-core: expunge the mode annotation on let bindings, what a bad idea that was