Added type feedback to assertions