Uniformity: get rid of FunType, use AppType instead for functions