+ Triangle module added
+ Mathlib updates
+ More updates to new actor class