Created the concept of typed domain as an abstract domain
which depends on an external environment.
Introduced the concept of object model to make the object API more
general.
First draft of ALPs implementation