Added writable matcher support, using Writability type class.