Complete typecheck and symbol table
Add samples