Inhabitation The implementation of the inhabitation algorithm for rank two intersection types. See notes.pdf