Vitalsource Technologies, Inc. Simple Type Theory