typesystem and valuemanagement basics