Starting to work on reification. Backend already supports it, and properties/occurrences of reified names are displayed.