workshop template updates for session types