Information Aware Type Systems and Telescopic Constraint Trees. - Philippa Cowderoy (CoRR, 2024)