  Green is a statically-typed object-oriented language that separates subtyping
from inheritance. It supports garbage collection, classes as first-class
objects, parameterized classes, introspective reflection and a kind of run-time
metaobjects called shells.
