Regarding (5), this reminds me of my long quest to figure out how to make a logic / relational embedded language for C++, which can work with any type.