Elements Of Design Type Definition