AliasBoundary

Marks a term that cannot be a result alias.