updated doc about the meta-prover, added doc on terms
fix in ScopedTerm.cast (groundness too hard);
remove the flattening property of ScopedTerm.app