fixing session type TW Basics and adding one that was missing