ELPI 1.2.0

Main changes are

• improved FFI including a GADT to describe simple ADTs
• shorten directive to pull a symbol out of a namespace
• :index attribute to enable unification hashes based index on multiple or deep arguments
• small standard library in the std namespace
• spilling of implications and conjunction