Wow that's a cool project. Seems like a pretty big project for you though, don't want it to crash with no survivors! I hope you guys started early on your maser plan. Looking forward to when you take off the mask ;)
Your topic sounds very interesting. Be sure to start with a small subset of ML. Focus on the HM type system. Implement the dynamic semantics only if time permits.