Add existential types

[mtshiba]

See https://github.com/erg-lang/erg/blob/main/doc/EN/syntax/type/advanced/existential.md for details.