updated readme and practice script to convert between different lambda term notations