Review typechecker for a better and simpler implementation
Simplify application representation
Remove useless .DS_Store
Extend typechecker to application