Add lazy types