Sized type elaboration, eventually via abstract interpretation. - View it on GitHub