Add typing syntax. Type checker still not implemented