remove "future work: type matching" and add footnote regarding this in text instead