Fix

Fix typos and a few confusions. 
norm() can actually be implemented in terms of sqrt(), which can also be implemented as x ** 0.5. 
I can't yet list all the built-in functions we need. And I guess we don't need to be so comprehensive in the proposal.