add RESOLVE-TYPES option