Desafios de um Formalismo Hamiltoniano de Segunda Ordem