getArgumentAsTypeRef
Resolves the argument at index into a TypeRef, accepting it directly as a TypeRef, as an it.unibo.tuprolog.core.Atom naming a type (via TypeFactory.default), or as a $Alias dealiasing expression -- returning null if resolution fails for one of these forms.
Throws
if the argument is none of the above.