Expand on booleans' example
Allow apostrophes at the end of macro names
Add Church numerals example