Let and let's: Procedural encoding and explicature