On Sequentially Proper Maps and a Sequential Compactification