added transApF and transApT
added Alternative instance for ApT