Added exit(4) on type check error
Added catch for null types
Added check for PA3 no static access