Work on data constructors and environment.