Checkpoint: improve name resolving a bit (remove unelaborate) but still buggy
Checkpoint: improve name resolving a bit (remove unelaborate) but still buggy

mietek/epigram2,larrytheliquid/pigit,mietek/epigram2