towerprime: fill out monads, directory in ast