use a single alias type which covers both use cases
remove parser alias validation

the validation is now done by the compiler
update tracer for single alias type
store the identified nodes in a fast locals map
add alias validation
process the aliases after the block is built