+ Taking into account return type-tags.
+ Added .gitignore
* Don't add :try effects if the throwable is either an Error or a RuntimeException
* Added some missing aesthetic changes on recursive types for correct translation + inference.