Session.Extensions, Session.HasExtensions, Session.AddExtension: new for handling extensions. Also some other minor changes to round up extension handling.