Extension:WikiLambda/Core objects

The following is a draft of the Core types of the wiki.

Let's decide on one way to represent them, otherwise it will get tiresome to keep them all in sync.