Add a primitive to create beginning-only effects

[aspiwack]

Effects of the sort of Debug.Trace are “beginning only” they are triggered when a thunk is forced, and need no end. Such effects wouldn't need an evaluation strategy, and would be a little easier/more lightweight to use. Logging is probably usually of this kind. The best way to check is to wrap a logging framework and see if the need arises.