delete cruft file (#1677)

diff --git a/type b/type
deleted file mode 100644
index e69de29..0000000
--- a/type
+++ /dev/null