basic_concepts : types and properties