First cut of semantic checker, works for Ints/Strings