Added example of `options` usage

Add example usages of `options` under `frontend` and `interpretor`.

This is needed to prevent issues such as #62.