Bootstrap: started implementing modules
Bootstrap: return unions and codegen if with non-bool type