Fix Typeable instance and add Generic/Hashable for SizeSpec..