Occurences: fix coordinates of indexing operators
Occurences: add support for constructors