Styling improvements in finite_difference, main and types