Go compiler: SSA optimization rules description language

Learn how to write new SSA optimization rules for Go compiler.