fix: LetIn- and Program-type were not resolved