fix: enfore type & count matching between ix handler and #instruction[(..)] args

fix: enfore type & count matching between ix handler and #instruction[(..)] args #40