moved default locations from metadata reader writer to arbil project
Upgraded to typechecker 1.7.6
Removed redundant dependencies from Arbil project