add typeOf for NTuples; make NTuple covariant

This pull request will enable defining functions taking NTuples.
{ } not needed for single expressions (and preferred to be removed).