Add a basic type-checker
Write a basic type-checker that implements conversion through beta-reduction. The inspiration for writing this is Andras Kovacs work that can be found here: https://github.com/AndrasKovacs/elaboration-zoo
Write a basic type-checker that implements conversion through beta-reduction. The inspiration for writing this is Andras Kovacs work that can be found here: https://github.com/AndrasKovacs/elaboration-zoo