Current implmentation is does expand type synoym for type from the in memory hieAst.
So the forall function hide under type syn is not recognized
- T1 type syn is expanded since
isFunType check so.
- T2 is not, since the check only expand forall.
It result in forall hide behide type syn is not expanded
