A bill of $7.45 was paid with 32 coins: half dollars, quarters, dimes, and nickels. If there were seven more dimes than nickels and twice as many dimes as quarters, how many coins of each type were used?