Initial work on structural sharing and caching