add expected constraints and types