Add return types to function declarations

[dgarciabriseno]

For type hinting, and in the future we may add a static analyzer to verify correct type usage.