Nacho

Why do you even need a "final result of a program" now that you have FFIs to do IO? Typically the final result would simply be an exit code, right?

Ok, I thought you had an FFI to print values from Olifant. Why not add that? Are you trying to keep it "purely" functional?

Check this out: https://github.com/nachivpn/javalette/blob/master/lib/runtime.ll

needs testing..

implemented by 4be063192985bb84a4d138d841a7f3c3a1821657 - needs testing

Subtyping part remains: ` int