Handle Choose and LetTuple correctly in instantiateType
Correctly extract methods from single case-classes