Improve error message when injecting value whose type contains a variable
Document restriction on injecting values whose type contains type variables.