zerostepを組み込み機能にする #17
Description
現在SLIMの組み込みライブラリとして提供されているzerostepルールという機能 （当該コミット）がある。
これは、'$callback'(zerostep)が存在する膜内のルールセットを（発火にステップを消費しない）zerostepルールとみなす機能である。
しかし、現在の実装では別のライブラリの内部などでは正しく動作しない欠点がある。
そのため、この機能を、何らかの形でア・プリオリな言語機能として組み込んでしまいたい。
例えば、
- zerostepとみなしてほしいルールには特別なアノテーションを付す
:-に代わる、zerostepルールを表す新記法を導入する（e.g.:=）
言語機能として整備するということは、同時に（出来れば形式的な）意味論も整備することが望ましい。