Type-checking full packages correctly now