Compilation#1 - Type-checking