STATIC TYPE CHECKER - WORK IN PROGRESS