Output decimals which coincide with integers as n.0
Fixed string representation of types to match Lustre syntax
Fixing indexed types and node calls
Small bugfix in Lustre simplifier
Fixing and testing indexed types
First activation of condacts is correct; documentation and test cases
Merge pull request #75 from chsticksel/master

Bugfixes for Lustre input