algorihm so that typing error messages can indicate the alternative in
which the error occured. Before, these error messages always located the
first alternative/function type