simple definitions for introducing types...