Checkpoint. Working on typechecker.