Pa_where provides a syntax for backward declarations (allowing a top-to-bottom declarative style), using the "where" keyword. Local definitions in expressions and toplevel definitions are both supported.