Baldamir Santos Explicit Types Determined by Features