Fix warpmemory function naming and implicits + other minor stuff

[rodrigo-pino]

Fixes #1063 #1064

Also fix other minor bugs found in Warp while updating

Add a compilation test

---

The reason this PR haven't been merged is because the existence of an unexpected behaviour on the cairo compiler after the compilation stage. By compiling the test at tests/compilation/contracts/warpMemorySystems/implicitPropagation.sol we get:

error: Illegal bigint value during serialization.

It is odd because all the independent components used by the transpiled contract have been tested. We should look help from Starknet to see what is causing this error, or expect that a future release of Cairo won't have this behaviour