* Allow specifying return type with a trailing colon, with tests. Also, prefixing return type must have spaces