renamed files so we can now import modules

I think the issue was that since the filename began with a number, the
interpreter thought I was talking about an integer literal, causing a
parse error.
testing module importing
adding type signatures to `encodeModified`