Fixed syntactic bound
Loosened constraints on tasty*
Added typed language constructs

The `Typed.*` modules are based on syntactic and they are used to define the
front end of an EDSL. There will also be `Untyped.*` modules that are based on
compdata and will be used for term manipulation and compilation.
Added a simple version of Feldspar (only front end so far) as an example
Added tests for Feldspar
Fixed Application instances
Simplified instances for Literal
Export EvalBind
EvalBind instance for Parallel
Added test for evaluation
Added Syntax class to Feldspar
Added share