0.1.1.0

• allow mutual guarded recursion
• improve type error messages

0.1.0.0

initial release