Үүнийг мессежээр илгээх: Towards an Extrinsic Formalization of Featherweight Java in Agda