I see the amp object in the online version of the audio design tool but it doesn't look like it was included in Teensyduino 1.42 beta 3. It doesn't appear in the bundled audio design tool and, if I copy code into Arduino from the web-based version, "AudioAmplifier" isn't highlighted as a keyword.