start fixing ILP different types