Python Type Hints With Default Values In Json Format