Spec Errors

Instead of getting a nasty "Bad Constraint" crash from fixpoint, we now have error-messages about malformed specifications in liquidhaskell itself, together with the source location of the .spec file it came from. The key is the `Located a` type that is introduced. We should use it EVERYWHERE!