cleaned a bit calculate_inst a bit; eta-contraction seems to be not necessary? (all examples go through)

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];