fix types for constants True, False, None
revert to naive function maps. will generate lots of arrows at the time
reverting to use HashMap for arrows