On Morley'S Categoricity Theorem With An Eye Toward Forking