Added Bool and Void types, and worked on Int (nearly complete).