These options are sorted with type inference and natural order.
Though it has so many problems, but, you now can enable this problem in scheme-langserver(https://github.com/ufo5260987423/scheme-langserver)!
It now mainly used the r6rs procedures’ information, and I annotated them with my homemade DSL. And some trick from gradual typing is also used!
Ok, I don’t have a degree on computer science, but this is all what I can do.
I’m glad to know it will help you! However, I know there’re many problems in this project, and I ask for your forgiveness and feedback, which can help me make this software better.