Passes typechecking
Improved readme
It's Alive!