Slight README changes, got rid of old Catalan file in main directory, and some experiments with indexed types in the main file