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