Update spec001 for new Typeable, and disable AMP warning
drwxr-xr-x - testsuite