Little example about defining functions by tactics. Temporary work file.
4 stars exercise (Lists), unfinished.