Add some critical types to module_utils and fix logic

[ssbarnea]

This change adds minimal types and uncovers several logic bugs, where users of controller.get_one_or_many assumed it will not return a list.

I had to replace some calls of get_one_or_many with get_exactly_one, so please double check them.

Depends-On: #271