Typed session Packages