add typeOf for NTuples; make NTuple covariant

This pull request will enable defining functions taking NTuples.
this is strange. You are ignoring the input here here. What do you intend to test?