Add some twelf noodlings

(These aren't quite exactly relevant to this project, but just examples
that we might build upon.)