[提案] 为 core.py 和 spaces 添加严格的类型提示

Gym 继承了我们为 gym 完成的一些类型提示,但是在项目关键部分严格地进行类型提示可能是一个重要的改进。