对霍兰德在类型论中想要解决三个问题，即类型理论适合谁来使用，怎么使用和在哪种环境下使用