consolidated signatures
Added missing kindCheck to Just. Added Long#. simplifiedWitness after inferAltType.