Eschnett/4d transformations

This adds support for 4-dimensional spacetime transformations and implements Lorentz boosts.