Small Programs and Languages