adds type print
smore templates; stmt and expr recursions
Merge branch 'compile' of https://github.com/WHET-PLT/wdjc into compile