Implement a persistent environment between definitions.
Implement a beginning of subtyping.