Type definitions are too generic for most arguments

[rodrigoscna]

We need to improve the types in the function definitions throughout the entire codebase.