ddc-core: parser: allow parsing foralls after an arrow. it looks weird, but transforms can produce it