Give syntax definitions a .syntaxDefinition extension
Simplify the usage instructions, and other README changes