Add inferer and desugarer for the source language (incomplete)
Add inferer and desugarer for the source language (incomplete)

wxzh/fcore,wxzh/fcore,bixuanzju/fcore,hkuplg/fcore,zhiyuanshi/fcore,xnning/fcore,bixuanzju/fcore,xnning/fcore,wxzh/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore,hkuplg/fcore,xnning/fcore,zhiyuanshi/fcore