Minor change to runtime error message string

Companion objects to lift methods
Remove standalone objects, they become isPackageObject

Annotated incomplete matches in List and Option Leon library.
Removed out-of-place files.

Functions that are defined as @extern can use non-purescala features
within their body. Leon will reason about them according to their
specification (the unknown body becomes a hole and then a choose).