Add expression for the Agda standard library