capitalize all type names#175

fblanqui wants to merge 2 commits into

Deducteam:mainDeducteam/hol2dk:mainfrom

fblanqui:capitalfblanqui/hol2dk:capitalCopy head branch name to clipboard