trace monotyping