add parser tests and hmc langtools
start semantics