STATIC TYPE CHECKER - WORK IN PROGRESS (08/05/14)