Definition of various useful types.