Shape checking + beginning of reification