stdlib: export wibble.
concrete syntax: add type declarations.