formalize typename(), and add its reverse type_from_string()