More aliases for FinalCAD