Adam Przepiórkowski (University of Warsaw, Polish Academy of Sciences and University of Oxford): Three Improvements to the HPSG Model Theory