DB2PHOAS: some formatting and a little cleanup
Merge branch 'master' of github.com:peterthiemann/polybta
Add recursion on inductive types to base language