Session-type filter now working and available for Sessions and Instructors