add some type annotations in Backend.Lang
implement part of C99 code gen