Some WIP for representing the semantic of the program.