Universal Higher Order Grammar