Bug fix (allow casting, etc.); version upgrade
More thorough support for casting in shortcuts.