Changed specs to include libtype