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