**************
Abstract Types
**************