Updated prove.py
Added basic 'what' command.
Updated function 'what'.
Updated - don't make two points with same name.