Title: Some novelties in types