Hello world now typechecks, translates and runs