final (?) experiments for TypeDevil work