Semicolons are gone!

Also changed from lib, proc notation to lib.proc, which is much
clearer when putting multiple statements on the same line, now that
they are not terminated by semicolons.