Systematically analyze the type system of your favorite programming language, in the same way as various languages have been analyzed in this chapter. (a) What composite types are supported, and how is the set of values of each composite type defined in terms of its component types? (b) Can recursive types be defined, and if so how? (c) Is your language statically or dynamically typed? (d) How is type equivalence defined in your language?