We want to be able to represent different languages and the current IR is very rusty.

The main purpose of Ligen is to expose objects and functions (and methods!) to other languages, so the IR should be capable of representing the generic characteristics of each one of these items.