Basic implementation of function return values/types.

This implementation isn't quite right, but it's a checkpoint to start with.