Type-Safe Web Programming in QWeS 2 T