Some parser bugs fixed. Modified aleph now passes.