fixed dispatch bypass cases

fixed minor dispatch issue

refined contraction dispatch

disambiguated syntax case

refined function aliasing

minor syntax upgrade

completed some dispatch