Prelude: spec: Prelude.system() was moved (#7)