More eta-expansion.
Make Look an abstract type.
Somewhat successful tinkering with correct error messages.