@main[]
^is_code{1}
^is_method{1}
^is_junction{1}

^is_code[$main]
^is_method[$main]
^is_junction[$main]

void: ^if(^reflection:is[no-such-value;void]){yes}{no}
string: $s[] ^if(^reflection:is[s;string]){yes}{no}

$a[ $.b[ $.c{code} ] ]
context: ^if(^reflection:is[c;code;$a.b]){yes}{no}

@is_code[x]
code: ^if(^reflection:is[x;code]){yes}{no}

@is_method[x]
method: ^if(^reflection:is[x;method]){yes}{no}

@is_junction[x]
juction: ^if(^reflection:is[x;junction]){yes}{no}