Halloween changes!

Formalizing some of the datatypes, adding 2 new animations, minor bug
fixes