adding new spec files
adding specs to Internal.hs