Remove session_type since it was never considered for sessions.
Merge branch 'master' of ../HasGeek/funnel
This project still uses session types.