better reification + more examples

- this should be enough to start testing auto/tauto