Virtual Type Definitions