remove unnecessary argument to makePro/Epilogue
fix typechecker test cases