NoBindingForBuiltin.agda:3,7-9
No binding for builtin thing ZERO, use {-# BUILTIN ZERO name #-} to
bind it to 'name'
when checking that the expression 42 has type _1