Add Bool, Int and Real sorts