Describir: Mapping between Witten and lightcone string field theories