Changes

[http://wso.williams.edu/facebook/view?unix=07mg_2 Michael Gnozzio] (where's the strong type checking? the explicit variable declarations? what about automatic coercion from one type to anotherif I want a global constant?)