get-pred function
Misc type hint edits