Ab initio many-body quantum embedding and local correlation in crystalline materials using interpolative separable density fitting | Synapse