new AABB type, built from 1D Interval types
rewriting some code for clarity - maintenance and hlint

Signed-off-by: Julio Felipe Angelini <julio.angelini@gmail.com>