Syntax-time implementation of Dynamic Remora's core forms