Moving the Int and Float declaration from SDF into K.
Adding copyright comment.
Hrr... another file.
Reverting the change to int32.k
Merge pull request #423 from kframework/int-float

Moving the Int and Float declaration from SDF into K.