Re-use 'nothing' singleton for marker return types, since a type-mapped return may really be none!
Implement after() type wrapper to help with tricky call order requirements.