v1.0.0

Adds

• user-defined types
• multiple starting modes
• region contracts
• modifies clause in contracts
• return variables in contracts
• transitions from regions to states

Full Changelog: https://github.com/Tim-17/Gecko/commits/v.1.0.0