Some edits on Lustre input
Equality between indexed types, bugfixes
Merge pull request #99 from chsticksel/develop

Equality between indexed types, bugfixes