added type-checking directory to work on PA4