Regardless of if we want #272, it would be nice to have multiple return values starting from Core. Optimizations could then generate such functions. This is only relevant for statements, as impure extern definitions and pure extern definitions don't need that features for now.
