refactored schema a little

also added presentation examples for Data and type-constrained quantifier extensions

Signed-off-by: greenTara <taraathan@gmail.com>