many bugfixes: function type creation, substitution of terms (rename types?), beta-reduction, false test