Added one-line context definition; reviewed Prelude types; minor fixes