edu.neu.ccs.demeterf.typecheck