Add more constraint docs