Use python types, print literal representations