A mixed-use entertainment district that includes room for casino gaming — if legalized by the state of Texas — could be in the works in Irving …