Building out alpha-convert