Add more constraint ideas to TODO