fix typo
add resolve_variables_to_types option