Export some types