A lot of improvements!

* Fixed variable match. Added a simple algorthim to recover the type that best matches with the proposed one
* Better logging and different log types to reduce clutter
* Re-inserted the translation of overloaded methods. It's partially working, though
* Fixed the memoizer decorator, now using hash for basic objects and flattening stuff before generating the required tuple
* Fixes, a lot of them