Add field shortcuts, fix theorem spacing