slighty more robust SpecifyTypeProposal