Support nullary functions with return types in doc syntax; document ParseError