Add indexing machinery
Create and deploy \defterm command