Kind2 0.3

What's Changed

• No more .type files and derive command.
• Match and Let syntax were modified
• Ask is not necessary when binding monadic operations
• Better error messages
• Lambdas require parenthesis in a lot of contexts (like in function calls)