expressions checking 90% done, now missing static checking of statements