Towards Synthetic Descriptive Set Theory: An Instantiation With Represented Spaces