added the front end test and the type analysis test from spitfire-maybe; still need to fix errors