Typechecker support for renamed attributes