Definition of ImplicitFirstSession was wrong

ImplicitFirstSession was inexplicably defined in terms of itself,
instead of in tersm of ImplicitFirstLayer.