Add several type level functions.