Add 'typecheck' make target, Styling fixes