Looking up an alias definition