add the syntax for type annotations of return types

add the syntax for type annotations of return types #267