new file:   Type.hs
starting actual thing/some type stuff added