[Typing] Remaining mini issues

[jpfeuffer]

• booleans currently use int, should be bool
• output strings have the usual Union of multiple string types. But we output a specific encoding. Check which. Figure out how to make distinction between input and output.