Properly type properties in the API documentation