Some test typechecks
Moving some nodes to akira