semantic: Replace typeofs.