+ Import built-in annotations