1st class function scopes

Also clean up ASCII grammar
Allow leading dot in name
Type-inference is probably still too weak