turned off gc support; implemented house purchase example, implemented transaction director language abstraction