Fix var decl returning dynamic and second half of operation not being type checked.
Add test for outer
Merge branch 'working'
Fix #46 and fix #47
Merge remote-tracking branch 'upstream/master'