more tasks for type checking
leave choices with error message unevaluated
Merge branch 'master' into incremental-tasks

Conflicts:
	org.spoofax.meta.runtime.libraries/nbl/tasks.str
	org.spoofax.meta.runtime.libraries/task/core.str
	org.spoofax.meta.runtime.libraries/task/interface.str