Removing old checker
Renaming subtype.lua to types.lua