add type resolver
constraint: primitive could not be a dynamic
handle primitive inheritance case