SI-7470 implements fundep materialization

review @adriaanm @odersky @retronym @paulp