Removed assumptions on implementation names, and added convenience method for instantiating entities, terms, and entity-terms.