better error messages on constraint
template set becomes template slice; do some basic type resolution on Get
Tags to TagSlice