compiler: look through aliases for type compatibility