[fix] doesn't allow type as Designator
[fix][compiler] string constants
[fix][compiler] remove useless TODO