Implement "null" and "size". Fixed type signature of "size".
Implement "map" and "filter".
-> The filter implementation will attempt to flatten areas of Nothing.