Bay Raktar

A little crazy solution. Currently field projections (**_destructors of coinductive_** types) are distingushed by postfix notation prefixed by dot like this: `arg .fst` , `arg .snd` It would be lexically...

@Gabriel439 , did you checked your fix on the proposed gist? It seems that fixed Morte is more slow.

The sample of a half white file: https://github.com/AndrasKovacs/preordertt/blob/master/signedCxt/CwF.agda

@soimort Thank you, your solution is working.

Great! Thank you!