Added types.f90: contains type definitions
Implemented new type definitions main and finite_difference, updated Makefile