Move type definitions to Types module
Remove types from Main
Remove church numerals from Main
Extract Church to a separate moduel