Interpret short array syntax in return type hint correctly [#8]
Restructured specification of return type checking