Generalize the `(^^)/1` control construct to also allow calling of imported predicates; deprecate the `(:)/1` control construct, which is now interpreted as an alias to the `(^^)/1` control construct