I think the only significant mistake was having both prefix and postfix operators for types. If they all neatly sat on one side there would be no problem.