Comenzando el desarrollo de hal. Definiendo el lenguaje, su typechecker y evaluador.