I think we should put this aside for now, like parsePostCall. Mainly, because IIRC, boolean Type.equals(Type) is used to find *that exact* type (because we'll end up having to find types/variables/functions in Scopes' TypeList/VariableList/FunctionList, to fetch their references/definition...