Give a definition of a type and explain safety