SOLL
SOLL copied to clipboard
Refine sema resolver for type and identifier
We should unify the process for how to deal with the identifier and remove unnecessary post identifiers decl judgement.