improving types (now with fromstring)