Small language with Pierce/Turner type inference