adding type inference for disambiguation annotations in code equation

adding the body type as well to the code generation for constants as it is required for type annotations of constants

changing const type to pass along if typing annotations are necessary for disambigous terms

fixed THF type constructor syntax

tweaking polymorphic TFF and THF output

parse new experimental '@' encodings

tuning

tuning

tuning

clarified import;